COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	possible project on improving LCOM4
C00003 ENDMK
C⊗;
possible project on improving LCOM4

reference "A System which Automatically Improves Programs" by J. Darlington
and R.M. Burstall, %2Acta Informatica%1, 6, 41-60 1976.

read and print Russell's dot notation

Write a program to eliminate λ from λ-expressions and replace their
occurrences by combinations of  S,  K,  I,  C, and  B.
Sfgx = f(x)(g(x)), Kax = a, Ix = x, Cfgx = g(f(x)), (Bfg)(x) = f(g(x))